predicate calculuss中文是什么意思

發(fā)音:

中文翻譯
造句

predicate calculus
【數(shù)學(xué)、邏輯學(xué)】謂詞演算,命題函項(xiàng)演算(數(shù)理邏輯的基本組成部分,即 functional calculus) [亦作 predicate logic]

predicate n. 1.【語(yǔ)法】謂語(yǔ)，述語(yǔ)。 2.【邏輯學(xué)】謂項(xiàng)，述項(xiàng)，述詞，賓詞。 3.本質(zhì)；屬性。 adj. 謂語(yǔ)的，述語(yǔ)的；謂項(xiàng)的，述項(xiàng)的。 vt. 1.論斷，斷言；斷定…為某物的屬性；斷定某物有…的屬性 (about; of)。 2.〔美國(guó)〕使(聲明、行動(dòng)等)依據(jù)于 (on; upon), 使基于。 3.宣言，宣布，聲明。 4.意味著，具有…的含義。 5.【語(yǔ)法】表述。 vi. 斷言 (of)。 Can anything be predicated about a non-existent thing 能夠表述不存在的東西嗎？ (We) predicate of the motive that it is good. (我們)斷言這個(gè)動(dòng)機(jī)是好的。
predicate of n變?cè)^詞; 變項(xiàng)謂詞
predicate on 使基于
actional predicate 動(dòng)作謂語(yǔ)
adjective predicate 形容詞謂語(yǔ)
analytic predicate 解析謂詞
arithmetical predicate 算術(shù)謂詞
built-in predicate 內(nèi)部謂詞
causative predicate 起因謂詞
change predicate 變化謂詞
complete predicate 完備謂詞
complex predicate 復(fù)合謂語(yǔ); 復(fù)雜謂語(yǔ)
compound predicate 復(fù)合謂語(yǔ)
computable predicate 可算謂詞
diophantine predicate 刁番圖謂詞
discourse predicate 篇章謂詞
enumerating predicate 枚舉謂詞
evaluable predicate 可估價(jià)謂詞; 求值謂詞
factive predicate 敘述性謂詞
false predicate 假謂詞
functional predicate 泛函謂詞; 函數(shù)符號(hào)
implicative predicate 蘊(yùn)含謂詞
initial predicate 初始謂詞
input predicate 輸入謂詞
logical predicate 邏輯謂語(yǔ)

"查查詞典"手機(jī)版

千萬(wàn)人都在用的超大詞匯詞典翻譯APP

例句與用法

The atomic formula is called atom for short in predicate calculus
在謂詞演算中,有時(shí)將原子公式簡(jiǎn)稱為原子。
This is not expressible as a first-order predicate calculus property
這就是一個(gè)一階謂詞演算不可表述的屬性。
Also, first-order predicate calculus isn't good enough anyway
同時(shí)，從各方面來(lái)說(shuō)，一階謂詞演算都不是足夠好。
This kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus
這種情況下的斷言似乎就需要實(shí)現(xiàn)特定的語(yǔ)言擴(kuò)展，于是一些人建議引入一階謂詞演算。
This kind of assertion seems to require special \ r \ nlanguage extensions and has led people to suggest introducing \ r \ nfirst-order predicate calculus
這種情況下的斷言似乎就需要實(shí)現(xiàn)特定的語(yǔ)言擴(kuò)展，于是一些人建議引入一階謂詞演算。
Informally, xquery is designed to be able to construct any xml document that can be computed from input xml documents using the power of the first-order predicate calculus
xquery被非正式地設(shè)計(jì)為可以構(gòu)造xml文檔，而這些xml文檔是通過(guò)對(duì)輸入的xml文檔進(jìn)行一階謂詞演算得出的。
The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm are new logic systems . they are fit for dealing with incomplete information
中介邏輯命題演算系統(tǒng)mp~m和中介邏輯謂詞演算系統(tǒng)mf~m是一種適用于處理不完全信息的新的邏輯系統(tǒng)。
So anything that you may want to express on a complex object that would seem to require first-order predicate calculus can be expressed actually quite nicely within the confines of the programming language
所以對(duì)于一個(gè)復(fù)雜對(duì)象，任何看起來(lái)需要一階謂詞演算才能描述的東西，實(shí)際都可以在編程語(yǔ)言范疇內(nèi)實(shí)現(xiàn)十分精細(xì)地表述。
This paper introduces first-order predicate calculus and assertion method from precondition to postcondition into the research of refactoring . and a logic deduction system is put forward in this paper : refactoring reliability deduction system
引入了一階謂詞演算和前后斷言方法，并且自定義了一個(gè)重構(gòu)可靠性證明的邏輯推理系統(tǒng)：重構(gòu)可靠性推演系統(tǒng)。
This has led some people who design the specification mechanisms for programming languages, or in the case of uml, for modeling languages, to include facilities from first-order predicate calculus as a language extension
這就促使一些人在編程語(yǔ)言的描述機(jī)制和建模語(yǔ)言（如統(tǒng)一建模語(yǔ)言，uml）的處理機(jī)制中加進(jìn)了部分一階謂詞演算的東西，作為一種功能擴(kuò)展。

更多例句： 1 2

推薦英語(yǔ)閱讀

predicate calculuss的中文翻譯，predicate calculuss是什么意思，怎么用漢語(yǔ)翻譯predicate calculuss，predicate calculuss的中文意思，predicate calculuss的中文，predicate calculuss in Chinese，predicate calculuss的中文，predicate calculuss怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權(quán)所有違者必究。